# Be+consistent

111

**Axiom of choice**— This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …112

**Opportunism**— Opportunity Seized, Opportunity Missed. Engraving by Theodoor Galle, 1605. Contents 1 General definition …113

**cosmos**— /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… …114

**metalogic**— /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …115

**Equiconsistency**— In mathematical logic, two theories are equiconsistent if, roughly speaking, they are as consistent as each other . It is not in general possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be… …116

**Earth Sciences**— ▪ 2009 Introduction Geology and Geochemistry The theme of the 33rd International Geological Congress, which was held in Norway in August 2008, was “Earth System Science: Foundation for Sustainable Development.” It was attended by nearly… …117

**New Foundations**— In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …118

**Handloading**— or reloading is the process of loading firearm cartridges or shotgun shells by assembling the individual components (case/shotshell, primer, powder, and bullet/shot), rather than purchasing completely assembled, factory loaded cartridges.… …119

**String theory**— This article is about the branch of theoretical physics. For other uses, see String theory (disambiguation). String theory …120

**TWA Flight 800**— For the 1964 crash of a TWA Boeing 707 in Rome, Italy, see TWA Flight 800 (1964). TWA Flight 800 Recovered TWA 800 wreckage Accident summary Date …